homotopy type theory nghĩa là gì

lý thuyết hình thái đồng luân

• homotopy theory:    Từ điển kỹ thuậtlý thuyết đồng luân
• homotopy type:    Từ điển kỹ thuậtLĩnh vực: toán & tinkiểu đồng luânweak homotopy typekiểu đồng luân yếu
• type theory:    lý thuyết kiểulý thuyết hình thái